421![International Journal of Pure and Applied Mathematics Volume 76 No[removed], 49-68 ISSN: [removed]printed version) International Journal of Pure and Applied Mathematics Volume 76 No[removed], 49-68 ISSN: [removed]printed version)](https://www.pdfsearch.io/img/f137aab61209e3d5e5829f0e5a8f26a6.jpg) | Add to Reading ListSource URL: ijpam.euLanguage: English - Date: 2012-04-02 12:10:26
|
---|
422![162 SAUNDERS MACLANE 162 SAUNDERS MACLANE](https://www.pdfsearch.io/img/6004964e864c1078bb8a7a73bd9179fa.jpg) | Add to Reading ListSource URL: www.ams.orgLanguage: English - Date: 2010-01-14 11:31:16
|
---|
423![SPECIAL SECTION: MATHEMATICS Revisiting the ‘unreasonable effectiveness’ SPECIAL SECTION: MATHEMATICS Revisiting the ‘unreasonable effectiveness’](https://www.pdfsearch.io/img/a3d7c28fcaa56d0df4e95d1c4778e856.jpg) | Add to Reading ListSource URL: eprints.nias.res.inLanguage: English - Date: 2011-08-02 08:07:41
|
---|
424![Combining Proofs and Programs in a Dependently Typed Language Chris Casinghino Combining Proofs and Programs in a Dependently Typed Language Chris Casinghino](https://www.pdfsearch.io/img/0d1f8ae211ad68fcf46beed17f4e9b65.jpg) | Add to Reading ListSource URL: www.seas.upenn.eduLanguage: English - Date: 2013-11-15 17:01:40
|
---|
425![Click’n Prove Interactive Proofs Within Set Theory by J.-R. Abrial and D. Cansell Click’n Prove Interactive Proofs Within Set Theory by J.-R. Abrial and D. Cansell](https://www.pdfsearch.io/img/711d4fbdf1d709425b793745982bc72d.jpg) | Add to Reading ListSource URL: web.ist.utl.ptLanguage: English - Date: 2007-10-15 04:40:08
|
---|
426![Does the deduction theorem fail for modal logic? Raul Hakli Sara Negri Does the deduction theorem fail for modal logic? Raul Hakli Sara Negri](https://www.pdfsearch.io/img/1d44f4fb4f4c064b06a37c3114113347.jpg) | Add to Reading ListSource URL: www.helsinki.fiLanguage: English - Date: 2011-02-03 07:57:14
|
---|
427![CATEGORICAL MODELS OF FIRST-ORDER CLASSICAL PROOFS CATEGORICAL MODELS OF FIRST-ORDER CLASSICAL PROOFS](https://www.pdfsearch.io/img/51b30e9589b9a90b1a861950f5229ba5.jpg) | Add to Reading ListSource URL: www.iam.unibe.chLanguage: English - Date: 2010-08-30 08:34:57
|
---|
428![These are supplementary notes for Week 1’s lectures. It does not cover all of the material discussed in lectures, but rather is intended to provided extra explanations of material related to the lectures. The required text is Peter J. Eccles’ book An Introduction to Mathematical Reasoning. The section These are supplementary notes for Week 1’s lectures. It does not cover all of the material discussed in lectures, but rather is intended to provided extra explanations of material related to the lectures. The required text is Peter J. Eccles’ book An Introduction to Mathematical Reasoning. The section](https://www.pdfsearch.io/img/2372bf872c99a6d3c9e0572d49b4842d.jpg) | Add to Reading ListSource URL: www.math.ucsd.eduLanguage: English - Date: 2013-01-10 01:32:55
|
---|
429![Chapter 8: The Logic of Conditionals § 8.1 Informal methods of proof Conditional elimination Chapter 8: The Logic of Conditionals § 8.1 Informal methods of proof Conditional elimination](https://www.pdfsearch.io/img/10c03cfc4ef4a07c0055d1438fe364e9.jpg) | Add to Reading ListSource URL: faculty.washington.eduLanguage: English - Date: 2004-06-01 21:31:14
|
---|
430![A Generalization of Takeuti-Gandy Interpretation Bruno Barras, Thierry Coquand and Simon Huber A Generalization of Takeuti-Gandy Interpretation Bruno Barras, Thierry Coquand and Simon Huber](https://www.pdfsearch.io/img/2de6ffbe74c33dc4ded2f03d7306a5b6.jpg) | Add to Reading ListSource URL: uf-ias-2012.wikispaces.comLanguage: English - Date: 2013-03-11 12:03:37
|
---|